رهیافت دوزبانی تارسکی

فضای مجازی رخنه‌ای در تئوری صدق تارسکی

بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه‌ای است. برای بسیاری، فضای مجازی یکی از مهم‌ترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل ‌الوصول...

صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی

مفهوم صدق در فلسفه‌ی علم پوپر از جایگاه ویژه‌ای برخوردار است و این موقعیت منحصر به فرد، به ویژه وامدار آشنایی وی با آلفرد تارسکی و مفهوم سمانتیکی صدق وی است. برداشت پوپر از مفهوم سمانتیکی صدق تارسکی را که منطبق با نظریه‌ی تطابقی صدق است حداقل از سه منظر متفاوت می‌توان نقد کرد. نقد اول، نقد نظریه‌ی تطابقی صدق است فارغ از این که مدافع آن پوپر یا هر فیلسوف دیگری باشد. موضوع نقد دوم اما، برداشت پوپ...

مباحثی در تعریف ناپذیری صدق تارسکی

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

رهیافت علمی

تقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی

نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...